System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
51	This film resource list was assembled to help you research and develop programming around the themes of the HOMETOWN TEAMS exhibition. Work with your local library or a movie theater to host film discussions in conjuncti Add to Reading List Source URL: museumonmainstreet.org Language: English - Date: 2013-12-11 08:30:46 Film Major League Baseball Cinema of the United States Film censorship in the United States Motion Picture Association of America film rating system Lou Gehrig The Rookie Field of Dreams HBO Remember the Titans Charles MacFarland
52	Competitive Online Algorithms Susanne Albers Overview arrive one by one and must be scheduled immediately Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:09:17 Online algorithms Analysis of algorithms Computer science Applied mathematics Computer programming K-server problem Metrical task system Adversary model Competitive analysis List update problem Algorithm Randomized algorithm
53	Weighted Synergy Graphs for Effective Team Formation with Heterogeneous Ad Hoc Agents Somchaya Liemhetcharat∗ and Manuela Veloso School of Computer Science, Carnegie Mellon University Pittsburgh, PA 15213, USA som@ri.c Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:38 Graph theory Mathematics Computational complexity theory Combinatorial optimization Matching Assignment problem Linear programming Multi-agent system Shortest path problem
54	179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:41 Mathematical analysis Mathematics Analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Exponentiation Distribution Derivative
55	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
56	QuickStart QC is a development tool for stress testing application and stand alone code during runtime. It is designed to be thorough, fast, and easy to use. QC requires System 7 in order to function. This document is in Add to Reading List Source URL: www.onyxtech.com Language: English - Date: 2004-07-08 04:31:05 Software Computer programming Integrated development environments Scripting languages Software testing Cross-platform software Debugger Debugging Metrowerks CodeWarrior Control Panel C dynamic memory allocation
57	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
58	AprilPartnership, power and adaptive programming: learning from Christian Aid’s governance service contracts Add to Reading List Source URL: programme.christianaid.org.uk Language: English - Date: 2016-04-29 09:17:14 International development Economic development World economy Department for International Development Aid effectiveness Governance Economy Picture archiving and communication system
59	Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computing Computer programming Data types Object-oriented programming Objective-C Method Handle Object-capability model Class Reference Type system
60	A RULE-BASED APPROACH FOR SPATIAL OBJECT MODELLING AND TASK MANAGEMENT Qiming Chen National Land Information System National Bureau of Surveying & Mapping* Beijing, Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 01:03:11 Software engineering Computing Computer programming Object-oriented programming Database Prolog Object ECO Database management systems Database models